Inferencialismo y Relevancia: el caso de la conexividad

This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley. The paper focuses on the relation between inferentialism and relevance, through the exploration of what we call relevant assertion and denial, showing that a connexive system emerges as a symptom of this interesting link. With the present attempt we hope to broaden the available interpretations for connexive logics, showing they can be rightfully motivated in terms of certain relevantist constraints imposed on assertion and denial.Este artículo proporciona una motivación inferencialista para una lógica perteneciente a la familia conexiva, tomando prestados elementos de la interpretación bilateralista de la Lógica Clásica sin la regla de Corte, propuesta por David Ripley. El artículo se centra en la relación entre inferencialismo y relevancia, a través de la exploración de lo que llamamos aserción y negación relevantes, mostrando que un sistema conexivo emerge como síntoma de este interesante vínculo. Con el presente intento, esperamos ampliar las interpretaciones disponibles para las lógicas conexivas, mostrando que pueden estar motivadas legítimamente en términos de ciertas restricciones relevantes impuestas a la aserción y la negación

An epistemic interpretation of paraconsistent weak Kleene logic

This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading to the definition of a “track-down” operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations.Fil: Szmuc, Damián Enrique. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentin

A recovery operator for non-transitive approaches

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities.Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto de Investigaciones Filosóficas - Sadaf; ArgentinaFil: Pailos, Federico Matias. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto de Investigaciones Filosóficas - Sadaf; ArgentinaFil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto de Investigaciones Filosóficas - Sadaf; Argentin

Two-valued Weak Kleene logics

In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming thatevery logic can be presented in a two-valued fashion. In this paper, we providetwo-valued semantics for the Weak Kleene logics and for a number of four-valuedsubsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of theWeak Kleene logics with unary operators that allow looking at them as Logics of Formal Inconsistency (LFIs) and Logics of Formal Underterminedness (LFUs). Our aim with this work, rather than arguing for Suszko´s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems ofWeak Kleene logics reveal the conjunctive flavor of the disjunction.Fil: Da Re, Bruno. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaFil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentin

Pure Variable Inclusion Logics

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic.Fil: Paoli, Francesco. Università Degli Studi Di Cagliari.; ItaliaFil: Pra Baldi, Michele. Università Degli Studi Di Cagliari.; ItaliaFil: Szmuc, Damián Enrique. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentin

The relevance of Nonsense

En este artículo propondremos, discutiremos y formalizaremos criterios gracias a los cuales podría legítimamente decirse que una inferencia o argumento es analítico o sintetico. Para ello, necesitaremos discutir la noción de asunto de una oración o fórmula, que será crucial en la determinación del carácter analítico y/o sintético de las inferencias. En el curso de dicha discusión, intentaremos mostrar que hay un interés filosófico en considerar semánticas para sistemas de lógica que admiten valores de verdad sin sentido, para lo cual haremos uso esencial de dos sistemas de "Lógicas del Sinsentido" introducidos por Dimitri Bochvar y Sören Halldén, respectivamente. El interés de considerar sistemas con semánticas de este tipo reside en que, bajo ciertas condiciones, dichos sistemas podrán ser tenidos por analíticos, o sintéticos.In this paper, we will propose, discuss and formalize criteria that will allow us to legitimately claim that an inference or argument is analytic or synthetic. To do so, we will need to discuss the notion of subject matter of a given sentence or formula, for this notion will be crucial in determining the analytic and/or synthetic nature of inferences. In due course, we will try to show that there is a certain philosophical interest in entertaining semantics for logical systems that admit truth-values that are nonsense, and that is why we will make essential use of two “Logics of Nonsense” introduced by Dimitri Bochvar and Sören Halldén, respectively. The interest of considering systems with these semantics will be that, under certain conditions, such systems could be taken as analytic, or synthetic.Fil: Szmuc, Damián Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Instituto de Investigaciones Filosóficas - Sadaf; Argentina. Universidad de Buenos Aires; Argentin

The relevance of Nonsense

En este artículo propondremos, discutiremos y formalizaremos criterios gracias a los cuales podría legítimamente decirse que una inferencia o argumento es analítico o sintético. Para ello, necesitaremos discutir la noción de asunto de una oración o fórmula, que será crucial en la determinación del carácter analítico o sintético de las inferencias. En el curso de dicha discusión, intentaremos mostrar que hay un interés filosófico en considerar semánticas para sistemas de lógica que admiten valores de verdad sin sentido, para lo cual haremos uso esencial de dos sistemas de “Lógicas del Sinsentido” introducidos por Dimitri Bochvar y Sören Halldén, respectivamente. El interés de considerar sistemas con semánticas de este tipo reside en que, bajo ciertas condiciones, dichos sistemas podrán ser tenidos por analíticos, o sintéticos.In this paper, we will propose, discuss and formalize criteria that will allow us to legitimately claim that an inference or argument is analytic or synthetic. To do so, we will need to discuss the notion of subject matter of a given sentence or formula, for this notion will be crucial in determining the analytic and/or synthetic nature of inferences. In due course, we will try to show that there is a certain philosophical interest in entertaining semantics for logical systems that admit truth-values that are nonsense, and that is why we will make essential use of two “Logics of Nonsense” introduced by Dimitri Bochvar and Sören Halldén, respectively. The interest of considering systems with these semantics will be that, under certain conditions, such systems could be taken as analytic, or synthetic

A New Hope for Philosophers' Appeal to Intuition

Some recent researches in experimental philosophy have posed a problem for philosophers’ appeal to intuition (hereinafter referred to as PAI); the aim of this paper is to offer an answer to this challenge. The thesis against PAI implies that, given some experimental results, intuition does not seem to be a reliable epistemic source, and —more importantly— given the actual state of knowledge about its operation, we do not have sufficient resources to mitigate its errors and thus establish its reliability. That is why PAI is hopeless. Throughout this paper I will defend my own conception of PAI, which I have called the Deliberative Conception, and consequently, I will defend intersubjective agreement as a means to mitigate PAI errors, offering empirical evidence from recent studies on the Argumentative Theory of Reason that favor the conception I defend here. Finally, I will reply to some objections that might arise against the Deliberative Conception, which will lead me to discuss some metaphilosophical issues that are significantly relevant for the future of the dispute about the appeal to intuition

Derivability and Metainferential Validity

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present ST and TS.Fil: Da Re, Bruno. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras; ArgentinaFil: Szmuc, Damián Enrique. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; ArgentinaFil: Teijeiro, Paula. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentin

A Hierarchy of Classical and Paraconsistent Logics

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences.Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina. Universidad de Buenos Aires; ArgentinaFil: Pailos, Federico Matias. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentina. Universidad de Buenos Aires; ArgentinaFil: Szmuc, Damián Enrique. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Filosóficas. - Sociedad Argentina de Análisis Filosófico. Instituto de Investigaciones Filosóficas; Argentin